- New
-
Topics
- All Categories
- Metaphysics and Epistemology
- Value Theory
- Science, Logic, and Mathematics
- Science, Logic, and Mathematics
- Logic and Philosophy of Logic
- Philosophy of Biology
- Philosophy of Cognitive Science
- Philosophy of Computing and Information
- Philosophy of Mathematics
- Philosophy of Physical Science
- Philosophy of Social Science
- Philosophy of Probability
- General Philosophy of Science
- Philosophy of Science, Misc
- History of Western Philosophy
- Philosophical Traditions
- Philosophy, Misc
- Other Academic Areas
- Journals
- Submit material
- More
Works by Verena H. Dyson
24 found
Order:
- A. I. Mal′cév. O rékursivnyh abélévyh gruppah. Doklady Akadémii Nauk SSSR, vol. 146 , pp. 1009–1012.Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-649.
- A. I. Mal′cév. Ob odnom sootvétstvii méždu kol′cami i gruppami . Matématičéskij sbornik, n.s. vol. 50 , pp. 257–266.Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):393-394.
- Ax James. Solving diophantine problems modulo every prime. Annals of mathematics, ser. 2 vol. 85 , pp. 161–183.Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):161-162.
- Ax James. The elementary theory of finite fields. Annals of mathematics, ser. 2 vol. 88 , pp. 239–271.Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):162-163.
- Classification of Quantifier Prefixes Over Diophantine Equations.Some Diophantine Forms of Godel's Theorem.Universal Diophantine Equation.Exponential Diophantine Representation of Recursively Enumerable Sets.Register Machine Proof of the Theorem on Exponential Diophantine Representation of Enumerable Sets.James P. Jones, Verena H. Dyson, John C. Shepherdson & J. P. Jones - 1986 - Journal of Symbolic Logic 51 (2):477-479.
- A. I. Mal′cév. Sirogo rodstvénnyé modéli i rékursivno sovéršénnyé algebry. Doklady Akadémii Nauk SSSR, vol. 145 , pp. 276–279. - A. I. Mal′cév. Strongly related models and recursively complete algebras. English translation of the preceding by Elliott Mendelson. Soviet mathematics, vol. 3 no. 4 , pp. 987–991. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-650.
- A. I. Mal′cév. Konstruktivnyé algébry. I. Uspéhi matématičéskih nauk, vol. 16 no. 3 , pp. 3–60. - A. I. Mal′tsev. Constructive algebras. I. English translation of the preceding by K. A. Hirsch. Russian mathematical surveys, vol. 16 no. 3 , pp. 77–129. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):647-649.
- A. I. Mal'cév. O svobodnyh razréšimyh gruppah. Doklady Akadémii Nauk SSSR, vol. 130 , pp. 495–498. - A. I. Mal'cev. On free soluble groups. English translation of the preceding by K. A. Hirsch. Soviet mathematics, vol. 1 no. 1 , pp. 65–68. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (1):99.
- A. I. Mal′cév. Nérazréšimost′ eléméntarnoj téorii konéčnyh grupp. Doklady Akadémii Nauk SSSR, vol. 138 , pp. 771–774. - A. I. Mal′cev. Undecidability of the elementary theory of finite groups. English translation of the preceding by A. J. Lohwater. Soviet mathematics, vol. 2 no. 3 , pp. 714–717. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):394.
- Newcomb Greenleaf. Fields in which varieties have rational points: a note on a problem of Ax. Proceedings of the American Mathematical Society, vol. 27 , pp. 139–140. [REVIEW]Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):163.
- Review: A. I. Mal'cev, K. A. Hirsch, Constructive Algebras. I. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):647-649.
- Review: A. I. Mal'cev, Elliott Mendelson, Strongly Related Models and Recursively Complete Algebras. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-650.
- Review: A. I. Mal'cev, Lisa Rosenblatt, On Recursive Abelian Groups. [REVIEW]Verena H. Dyson - 1966 - Journal of Symbolic Logic 31 (4):649-649.
- Review: A. I. Mal'cev, K. A. Hirsch, On Free Soluble Groups. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (1):99-99.
- Review: A. I. Mal'cev, Undecidability of the Elementary Theory of Finite Groups. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):394-394.Export citation
Bookmark - Review: A. I. Mal'cev, (Ob odnorn sootvetstvii mezdu kol'cami i grupparni):On a Correspondence Between Rings and Groups. [REVIEW]Verena H. Dyson - 1965 - Journal of Symbolic Logic 30 (3):393-394.Export citation Bookmark
- Review: James Ax, The Elementary Theory of Finite Fields. [REVIEW]Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):162-163.
- Review: James Ax, Solving Diophantine Problems Modulo Every Prime. [REVIEW]Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):161-162.
- Robert L. Vaught. On a theorem of Cobham concerning undecidable theories. Logic, methodology and philosophy of science, Proceedings of the 1960 International Congress, edited by Ernest Nagel, Patrick Suppes, and Alfred Tarski, Stanford University Press, Stanford, Calif., 1962, pp. 14–25. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):126-127.
- Review: Newcomb Greenleaf, Fields in Which Varieties have Rational Points: a Note on a Problem of Ax. [REVIEW]Verena H. Dyson - 1973 - Journal of Symbolic Logic 38 (1):163-163.
- Review: Robert L. Vaught, Ernest Nagel, Patrick Suppes, Alfred Tarski, On a Theorem of Cobham Concerning Undecidable Theories. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):126-127.
- Review: W. Hanf, J. W. Addison, Leon Henkin, Alfred Tarski, Model-Theoretic Methods in the Study of Elementary Logic. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
- Wells B. F. III. Translator's foreword. The metamathematics of algebraic systems, Collected papers: 1936-1967, by Anatoliï Ivanovič Mal'cev, translated, edited, and provided with supplementary notes by Benjamin Franklin Wells, III, Studies in logic and the foundations of mathematics, vol. 66, North-Holland Publishing Company, Amsterdam and London 1971, pp. vii–x. [REVIEW]Verena H. Dyson - 1975 - Journal of Symbolic Logic 40 (4):640-650.
- W. Hanf. Model-theoretic methods in the study of elementary logic. The theory of models, Proceedings of the 1963 International Symposium at Berkeley, edited by J. W. Addison, Leon Henkin, and Alfred Tarski, Studies in logic and the foundations of mathematics, North-Holland Publishing Company, Amsterdam1965, pp. 132–145. [REVIEW]Verena H. Dyson - 1969 - Journal of Symbolic Logic 34 (1):127-128.
PhilPapers logo by Andrea Andrews and Meghan Driscoll.
This site uses cookies and Google Analytics (see our terms & conditions for details regarding the privacy implications). Use of this site is subject to terms & conditions.
All rights reserved by The PhilPapers Foundation
Server: philpapers-web-7c76586df8-l2pxr uwo